Theorems on Isomorphism